finite set

Definition

A finite set is a set $A$ for which there exists a bijection between $A$ and $[n] := \{k \in \mathbb{N} \mid k < n\}$ for some $n \in \mathbb{N}$.

(Intuitively: a set with finitely many elements)

Notes

• finite set is countable and effectively enumerable

References

1. https://ncatlab.org/nlab/show/finite+set
2. https://faculty.washington.edu/keyt/Effenumerability.pdf